$\forall$$T$:Type, $P_{1}$, $P_{2}$:($T$$\rightarrow\mathbb{P}$). $P_{1}$ $\Leftarrow\!$ $P_{2}$ $\in$ $\mathbb{P}$